Es wird gezeigt, daß in der Skizze zum Beweis des 2. Satzes von Gödel dieser eine stillschweigende Voraussetzung macht, die im Widerspruch zu den üblichen Forderungen nach Eindeutigkeit der benutzten Terme steht: Eine und dieselbe Gödelzahl g repräsentiert nämlich einmal den Ausdruck g1: "ein im System k unentscheidbarer Satz" und das andere Mal den Ausdruck g2: "g1 ist in k nicht beweisbar". Beachtet man aber diesen Unterschied, so ist der Widerspruch nicht herleitbar, auf dem der Gödelsche Beweis basiert.

The aim of this paper is to investigate Nishida Kitarō’s way of philosophizing in the light of the concept of “transition” in order to deepen our understanding of both Nishida’s philosophy and our thinking about and in transitions, using the concept of “boundary” or “border” (Grenze) as a catalyst. For that purpose, we focus on Nishida’s essay “Place” (「場所」), passing through different parts of the text as if through successive gates on a path of transition between one place and the (...) next, until we reach the final place of “absolute nothingness.” Dwelling on this place, we turn our attention to its internal structure and try to depict it along the outlines of a boundary, following the movements taking place in Nishida’s essay. The second part proposes an interpretation of the place of nothingness as an interminable practice of boundary-crossing that doesn’t come to a halt in a final, all-encompassing place, but dynamically situates itself on countless intersecting planes. After a more or less abstract analysis of the concept of “boundary,” we will apply and concretize this approach by using the example of the skin. To this end, we expose five main features of the skin as boundary: permeability, enclosure, excessiveness, interstitiality and reciprocal self-formation. (shrink)

In recent years, bioethical discourse around the topic of ‘genetic enhancement’ has become increasingly politicized. We fear there is too much focus on the semantic question of whether we should call particular practices and emerging bio-technologies such as CRISPR ‘eugenics’, rather than the more important question of how we should view them from the perspective of ethics and policy. Here, we address the question of whether ‘eugenics’ can be defended and how proponents and critics of enhancement should engage with each (...) other. (shrink)

Metaphor has been considered as a cognitive process, independent of the verbal versus visual mode, through which an unknown conceptual domain is understood in terms of another known conceptual domain. Metaphor might instead be viewed as a cognitive process, dependent on the mode, which leads to genuinely new knowledge via ignorance. First, I argue that there are two main senses of ignorance at stake when we understand a metaphor: we ignore some existing properties of the known domain in the sense (...) that we disregard or neglect them; we ignore some “non-existing” properties of the known domain in the sense that they are not a piece of information belonging to the known domain, but emerge in metaphor interpretation. Secondly, I consider a metaphor as a reasoning device, guiding the interpreters along a path of inferences to a conclusion, which attributes to the target some properties of the source. In this path, interpreters might discover the ignored existing properties of the known domain and/or recover the “non-existing” properties, inferring or imagining the missing piece of information. Finally, I argue that, especially in visual metaphors, this process is guided by a “sentiment of rationality”, tracking a disruption of existing familiar conceptualisations of objects and/or actions and a recovery of ignored properties. (shrink)

Despite the remarkable advances in behavioral and brain sciences over the last decades, the mind/body (brain) problem is still an open debate and one of the most intriguing questions for both cognitive neuroscience and philosophy of mind. Traditional approaches have conceived this problem in terms of a contrast between physicalist monism and Cartesian dualism. However, since the late sixties, the landscape of philosophical views on the problem has become more varied and complex. The Multiple Realization Thesis (MRT) claims that mental (...) properties can be (or are) realized, and mental processes can be (or are) implemented by neural correlates of different kinds. Thus, MRT challenges the psychoneural type-identity theory and the corresponding reductionism. Many philosophers have acknowledged the a priori plausibility of MRT. However, the existence of empirical evidence in favor of intraspecific, human multiple realizations of mental processes and properties is still controversial. Here we illustrate some cases that provide empirical evidence in support of MRT. Recently, it has been proposed that foveal agnosic vision, like peripheral vision, can be restored by increasing object parts’ spacing (Strappini et al., 2017a; Crutch and Warrington, 2007). Agnosic fovea and normal periphery are both limited by crowding, that impairs object recognition, and provides the signature of visual integration. Here we define a psychological property of restored object identification and we cross-reference the data of visually-impaired patients with different etiologies. In particular, we compare the data of two stroke patients, two patients with posterior cortical atrophy (PCA), six cases of strabismic amblyopia, and one case with restored sight. We also compare these patients with unimpaired subjects tested in the periphery. We show that integration (i.e. restored recognition) seems to describe quite accurately the visual performance in all these cases. While the patients have different etiologies and different neural correlates, the unimpaired subjects have no neural damage. Thus similarity in the psychological property given the differences in the neural substrate can be interpreted in relation to MRT and provide evidence in its support. Finally, we will frame our contribution within the current debate concerning MRT providing new and compelling empirical evidence. (shrink)

What is a gene? Does it represent a natural kind, or is it just a tool for genomics? A clear answer to these questions has been challenged by postgenomic discoveries. In response, I will argue that the gene can be deemed a natural kind as it satisfies some requirements for genuine kindhood. Specifically, natural kinds are projectible categories in our best scientific theories, and they represent nodes in the causal network of the world (as in Khalidi. Natural Categories and Human (...) Kinds: Classification in the Natural and Social Sciences. Cambridge University Press, Cambridge, 2013; Khalidi. Synthese 195: 1379–1396, 2018; Khalidi. Are Sexes Natural Kinds, In: Dasgupta S, Weslake B (eds) Current Controversies in Philoso-phy of Science. Routledge, New York, 2020; Khalidi. Philos Sci 88:1–21, 2021). In Sect. 2, I will present a brief history of the gene and the controversy over its status. In Sect. 3, I will introduce the account of natural kinds considered in this paper. In Sect. 4, I will first present the relevant definition of genes and how they can be classified. Then, I will argue that the gene can be considered a natural kind as it satisfies the criteria for natural kindhood. Section 5 concludes. (shrink)

Criminal liability for acts committed by AI systems has recently become a hot legal topic. This paper includes three different contributions. The first contribution is an analysis of the extent to which an AI system can satisfy the requirements for criminal liability: accomplishing an actus reus, having the corresponding mens rea, possessing the cognitive capacities needed for responsibility. The second contribution is a discussion of criminal activity accomplished by an AI entity, with reference to a recent case involving an online (...) bot, the Random Darknet Shopper. This discussion will provide the context for the analysis of commonalities and differences between criminal activities by humans and by artificial systems. The third contribution concerns the evaluation of different ways of addressing criminal activities by AI systems in a regulatory perspective. (shrink)

Grammar as a discipline devoted to the study of language was greatly advanced by the Alexandrian philologists, and especially by Aristarchus, as demonstrated by Stephanos Matthaios. In order to edit Homer and other literary authors, whose texts were often written in archaic Greek and presented many linguistic problems, the Alexandrians had to recognize linguistic grammatical categories and declensional patterns. In particular, to determine the correct orthography or accentuation of debated morphological forms they often employed analogy, which is generally defined as (...) the doctrine that grammatical forms must follow strict rules of declension. Modern scholars have often opposed the Alexandrian doctrine of analogy to the Pergamene doctrine of ‘anomaly’, which favoured spoken usage to determine debated forms. Detlev Fehling and David Blank, however, have shown that this strong opposition never really existed and it is mostly due to Varro. More correctly, ancient grammarians identified inflectional rules as well as forms derived from spoken usage or otherwise aberrant forms—however, respect for spoken usage in the latter case was not labelled ‘anomaly’, which was never a technical term of ancient grammar. Rather, and especially in the Roman period, grammarians used the term ‘pathology’ to account for and explain irregular forms. (shrink)

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter. (shrink)

Sociopolitical attitudes are often the root cause of conflicts between individuals, groups, and even nations, but little is known about the origin of individual differences in sociopolitical orientation. We test a combination of economic and evolutionary ideas about the degree to which the mating market, sex, age, and income affect sociopolitical orientation. We collected data online through Amazon’s Mechanical Turk from 1108 US participants who were between 18 and 60, fluent in English, and single. While ostensibly testing a new online (...) dating website, participants created an online dating profile and described people they would like to date. We manipulated the participants’ popularity in the mating market and the size of the market and then measured participants’ sociopolitical attitudes. The sociopolitical attitudes were reduced to five dimensions via Principal Components Analysis. Both manipulations affected attitudes toward wealth redistribution but were largely not significant predictors of the other dimensions. Men reported more unrestricted sociosexual attitudes, and more support for benevolent sexism and traditional family values, than women did, and women supported wealth redistribution more than men did. There was no sex difference in accepting nonconforming behaviors. Younger people and people with lower incomes were more liberal than older people and people with higher incomes, respectively, regardless of sex. Overall, effects were largely not interactive, suggesting that individual differences in sociopolitical orientation may reflect strategic self-interest and be more straightforward than previously predicted. (shrink)

Frege's definition of the real numbers, as envisaged in the second volume of Grundgesetze der Arithmetik, is fatally flawed by the inconsistency of Frege's ill-fated Basic Law V. We restate Frege's definition in a consistent logical framework and investigate whether it can provide a logical foundation of real analysis. Our conclusion will deem it doubtful that such a foundation along the lines of Frege's own indications is possible at all.

The global spread of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) or coronavirus disease 19 (COVID-19) has led to the imposition of severely restrictive measures by governments in the Western hemisphere. We feel a contrast between these measures and our freedom. This contrast, we argue, is a false perception. It only appears to us because we look at the issue through our contemporary moral philosophy of utilitarianism and an understanding of freedom as absence of constraints. Both these views can be (...) substituted with more sophisticated alternatives, namely an ethics of virtue and a notion of freedom of the will. These offer a fuller picture of morality and enable us to cooperate with the current restrictions by consciously choosing to adhere to them instead of perceiving them as draconian and immoral. We ask whether we should collaborate with the restrictions and argue that considerations of virtue will lead to an affirmative answer. More broadly, virtue ethics permits to deal with the practical concerns about how an individual should behave during this pandemic, given the current lockdown measures or lack thereof. -/- In section 1, we present how utilitarianism and a notion of freedom as negative liberty support the opposition to restrictive measures. In section 2, we outline an alternative based on an ethics of virtue and a more elaborated notion of free will. In the concluding section 3, we argue that considerations of virtue should guide the individual and public response to the emergency. (shrink)